Relative Completeness of Incorrectness Separation Logic
arxiv.org·12h
🧠Separation Logic
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·3h·
Discuss: www.blogger.com
🌳Persistent Data Structures
CFP: Ethical AI in GLAM: Challenges and Opportunities for Digital Stewardship
archivespublishing.com·1h
🏛Digital humanities
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Question - Cost Effective Storage Expansion - The right way?
preview.redd.it·1d·
Discuss: r/homelab
💰Archive Economics
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·9h
✅Archive Validation
Schizophrenic Zip Files
blog.isec.pl·6h·
Discuss: Hacker News
💣ZIP Vulnerabilities
Deepfake Forensics Is Much More Than Deepfake Detection!
blog.ampedsoftware.com·3h
💿DAT Forensics
A New Concurrent ML in Guile Scheme
wingolog.org·8h·
Discuss: Hacker News
🔄Lens Laws
SIEVE — a better algorithm than LRU?
blog.apnic.net·11h
💨Cache Analysis
I don't want to host services (but I do)
ergaster.org·10h
🖥️Self-hosted Infrastructure
Evading Data Provenance in Deep Neural Networks
arxiv.org·12h
🔍Vector Forensics
Case study: enhancing SBOMs with cdsbom at the Linux Foundation
opensource.org·3h
🔓Open Source Software
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·18m
🧮Kolmogorov Complexity
New NVMe specifications for AI, cloud, enterprise and client applications
heise.de·1h
💾Persistent Memory
We Built an MCP Server and These Are the Gotchas Nobody Talks About
cloudquery.io·1h·
Discuss: Hacker News
🔒WASM Capabilities
Building a Real Estate Tokenization dApp with Flare's Zero-Fee Oracles
dev.to·1d·
Discuss: DEV
🚚Data Migration
SAT Requires Exhaustive Search
link.springer.com·20h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Making of SARE: Master Seeds in Hybrid Post-Quantum Encryption
zola.ink·5h·
Discuss: Hacker News
🌳Archive Merkle Trees
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types